#include "board.h"
#include "i8250.h"
#include "i8254.h"
#include "i8259a.h"
#include "debug.h"
#include "mm.h"
#include "process.h"
#include "test_mm.h"

void mips32r2ResetEntry(){

	/*dependent layer init*/
	mips32r2Init();
	i8250Init();
	i8254Init();
	i8259aInit();
	mmInit();
	mips32r2EnableInterrupt();
	
	/*independent layer init*/
	procInit();
	
	DEBUGLOG("START SYSTEM");
	
	test_mm();
			
	return;
}

